Quasirandom permutations are characterized by 4-point densities

For permutations π and τ of lengths |π|≤|τ| , let t(π,τ) be the probability that the restriction of τ to a random |π| -point set is (order) isomorphic to π . We show that every sequence {τj} of permutations such that |τj|→∞ and t(π,τj)→1/4! for every 4-point permutation π is quasirandom (that is, t(π,τj)→1/|π|! for every π ). This answers a question posed by Graham

On unimodal subsequences

AbstractIn this paper we prove that any sequence of n real numbers contains a unimodal subsequence of length at least [(3n − 34)12 − 12] and that this bound is best possible

On optimal linear arrangements of trees

AbstractIn this paper we investigate the problem of finding a labeling of the vertices of an undirected tree with distinct integers such that the sum of weights of all edges is minimized. (The weight of an edge is the absolute value of the difference between the labelings of its end points). We give an O(nλ) algorithm where λ is approximately log 3/log2 ∼ 1.6 for solving this problem

Weak Parity

We study the query complexity of Weak Parity: the problem of computing the parity of an n-bit input string, where one only has to succeed on a 1/2+eps fraction of input strings, but must do so with high probability on those inputs where one does succeed. It is well-known that n randomized queries and n/2 quantum queries are needed to compute parity on all inputs. But surprisingly, we give a randomized algorithm for Weak Parity that makes only O(n/log^0.246(1/eps)) queries, as well as a quantum algorithm that makes only O(n/sqrt(log(1/eps))) queries. We also prove a lower bound of Omega(n/log(1/eps)) in both cases; and using extremal combinatorics, prove lower bounds of Omega(log n) in the randomized case and Omega(sqrt(log n)) in the quantum case for any eps>0. We show that improving our lower bounds is intimately related to two longstanding open problems about Boolean functions: the Sensitivity Conjecture, and the relationships between query complexity and polynomial degree.Comment: 18 page

Labeling Schemes for Bounded Degree Graphs

We investigate adjacency labeling schemes for graphs of bounded degree $\Delta = O(1)$. In particular, we present an optimal (up to an additive constant) $\log n + O(1)$ adjacency labeling scheme for bounded degree trees. The latter scheme is derived from a labeling scheme for bounded degree outerplanar graphs. Our results complement a similar bound recently obtained for bounded depth trees [Fraigniaud and Korman, SODA 10], and may provide new insights for closing the long standing gap for adjacency in trees [Alstrup and Rauhe, FOCS 02]. We also provide improved labeling schemes for bounded degree planar graphs. Finally, we use combinatorial number systems and present an improved adjacency labeling schemes for graphs of bounded degree $\Delta$ with $(e+1)\sqrt{n} < \Delta \leq n/5$

On the eigenvalues of Cayley graphs on the symmetric group generated by a complete multipartite set of transpositions

Given a finite simple graph \cG with $n$ vertices, we can construct the Cayley graph on the symmetric group $S_n$ generated by the edges of \cG, interpreted as transpositions. We show that, if \cG is complete multipartite, the eigenvalues of the Laplacian of \Cay(\cG) have a simple expression in terms of the irreducible characters of transpositions, and of the Littlewood-Richardson coefficients. As a consequence we can prove that the Laplacians of \cG and of \Cay(\cG) have the same first nontrivial eigenvalue. This is equivalent to saying that Aldous's conjecture, asserting that the random walk and the interchange process have the same spectral gap, holds for complete multipartite graphs.Comment: 29 pages. Includes modification which appear on the published version in J. Algebraic Combi

Powers of Hamilton cycles in pseudorandom graphs

We study the appearance of powers of Hamilton cycles in pseudorandom graphs, using the following comparatively weak pseudorandomness notion. A graph $G$ is $(\varepsilon,p,k,\ell)$-pseudorandom if for all disjoint $X$ and $Y\subset V(G)$ with $|X|\ge\varepsilon p^kn$ and $|Y|\ge\varepsilon p^\ell n$ we have $e(X,Y)=(1\pm\varepsilon)p|X||Y|$. We prove that for all $\beta>0$ there is an $\varepsilon>0$ such that an $(\varepsilon,p,1,2)$-pseudorandom graph on $n$ vertices with minimum degree at least $\beta pn$ contains the square of a Hamilton cycle. In particular, this implies that $(n,d,\lambda)$-graphs with $\lambda\ll d^{5/2 }n^{-3/2}$ contain the square of a Hamilton cycle, and thus a triangle factor if $n$ is a multiple of $3$. This improves on a result of Krivelevich, Sudakov and Szab\'o [Triangle factors in sparse pseudo-random graphs, Combinatorica 24 (2004), no. 3, 403--426]. We also extend our result to higher powers of Hamilton cycles and establish corresponding counting versions.Comment: 30 pages, 1 figur

Generating uniform random vectors in \QTR{bf}{Z}_{p}^{k}: the general case

This paper is about the rate of convergence of the Markov chain $X_{n+1}=AX_{n}+B_{n}$ (mod $p$), where $A$ is an integer matrix with nonzero eigenvalues and ${B_{n}}_{n}$ is a sequence of independent and identically distributed integer vectors, with support not parallel to a proper subspace of $Q^{k}$ invariant under $A$. If $|\lambda_{i}|\not=1$ for all eigenvalues $\lambda_{i}$ of $A$, then $n=O((\ln p)^{2})$ steps are sufficient and $n=O(\ln p)$ steps are necessary to have $X_{n}$ sampling from a nearly uniform distribution. Conversely, if $A$ has the eigenvalues $\lambda_{i}$ that are roots of positive integer numbers, $|\lambda_{1}|=1$ and $|\lambda_{i}|>1$ for all $i\not=1$, then $O(p^{2})$ steps are necessary and sufficient.Comment: The published version is to appear in the Journal of Theoretical Probabilit